Properties of the scalar product